Xavier Leroy - PDFSEARCH.IO - Document Search Engine

Xavier Leroy
Results: 125

#	Item
101	Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2002-03-29 07:37:15 Data types Subroutines Lambda calculus Functional programming Primitive types Closure Evaluation strategy Free variables and bound variables Function Software engineering Computing Computer programming
102	The OCaml system release 4.02 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2014-05-20 14:28:26 Functional languages OCaml Data types Coupling Set Generic programming Software engineering Computing Computer programming
103	The OCaml system release 4.02 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2014-08-29 11:29:05 Data types Functional languages OCaml Module Coupling Generic programming Set Software engineering Computing Computer programming
104	The OCaml system release 4.02 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2014-08-29 11:29:05 Data types Functional languages OCaml Module Coupling Generic programming Set Software engineering Computing Computer programming
105	The Objective Caml system release 3.10 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2007-05-16 04:16:56 Functional languages OCaml Perl Caml Coupling Perl module Software engineering Computer programming Computing
106	The Objective Caml system release 3.11 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2008-11-26 05:28:58 Functional languages OCaml Perl Caml Coupling Perl module Software engineering Computer programming Computing
107	ELSEVIER Selection and Characterization of Saharan and Arabian Desert Sites for the Calibration of Optical Satellite Sensors Hdlbne Cosnefroy,* Marc Leroy,* and Xavier Briottet* Add to Reading List Source URL: calval.cr.usgs.gov Language: English - Date: 2009-04-23 16:11:42 Clouds International Satellite Cloud Climatology Project Cloud cover Meteosat Sahara Libya Rain Reflectivity Earth Atmospheric sciences Physical geography
108	The Objective Caml system release 3.08 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2004-07-13 07:32:43 Functional languages OCaml Perl Caml Coupling Perl module Software engineering Computer programming Computing
109	The Objective Caml system release 3.09 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2005-10-27 07:58:02 Functional languages OCaml Perl Caml Coupling Perl module Software engineering Computer programming Computing
110	A proposal for recursive modules in Objective Caml Xavier Leroy INRIA Rocquencourt Version 1.1, May 13, 2003 This notes describes a design and prototype implementation of an extension of the Objective Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:15 Programming idioms Type theory Recursion Functional languages Procedural programming languages Type system Module Caml ALGOL 68 Software engineering Computer programming Computing